<?php

if($_SESSION['autorizado']!=true)
   {
       echo"<script language='javascript'>window.location='../Vista/errorautenticacion.html'</script>";
   }
   else
   {
       echo"<script language='javascript'>window.location='../Vista/Form 4.html'</script>";
   }
    
?>
